A primitive element of an extension field E of a field F is an element a in E with the property that E = F(a).